A Dynamic-Logical Perspective on Quantum Behavior
نویسندگان
چکیده
منابع مشابه
A Dynamic-Logical Perspective on Quantum Behavior
In this paper we show how recent concepts from Dynamic Logic, and in particular from Dynamic Epistemic logic, can be used to model and interpret quantum behavior. Our main thesis is that all the non-classical properties of quantum systems are explainable in terms of the non-classical flow of quantum information. We give a logical analysis of quantum measurements (formalized using modal operator...
متن کاملQuantum computation from a quantum logical perspective
It is well-known that Shor’s factorization algorithm, Simon’s period-finding algorithm, and Deutsch’s original XOR algorithm can all be formulated as solutions to a hidden subgroup problem. Here the salient features of the informationprocessing in the three algorithms are presented from a different perspective, in terms of the way in which the algorithms exploit the non-Boolean quantum logic re...
متن کاملOvergrazing Behavior and Rationality: a Dynamic Perspective
Although humans are assumed to be rational beings, there has been little consensus regarding the criteria for distinguishing rational from irrational behaviors. For example, overgrazing that often results in a tragedy of the commons is usually considered irrational. A subsequent question may be why there are always some rational people engaging in irrational overgrazing. Based on rationality th...
متن کاملA Coalgebraic Perspective on Logical Interpretations
In Computer Science stepwise refinement of algebraic specifications is a well-known formal methodology for rigorous program development. This paper illustrates how techniques from Algebraic Logic, in particular that of interpretation, understood as a multifunction that preserves and reflects logical consequence, capture a number of relevant transformations in the context of software design, reu...
متن کاملPlan Synthesis: A Logical Perspective
This paper explores some theoretical issues of robot system planning from the perspective of propositional dynamic logic. A generalized notion of "progression" and "regression" of conditions through actions Is developed. This leads to a bidirectional single-level planning algorithm that Is easily extended to hierarchical planning. Multiple pre-/postcondition pairs, complex (e.g., conjunctive, d...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Studia Logica
سال: 2008
ISSN: 0039-3215,1572-8730
DOI: 10.1007/s11225-008-9126-5